- Erfüllbarkeit (die)
- satisfiabilité
Lexique philosophique allemand-français. D. Seron. 2004.
Erfüllbarkeit (die)
Regardez d'autres dictionnaires:
Erfüllbarkeit — ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der… … Deutsch Wikipedia
Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik … Deutsch Wikipedia
True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… … Deutsch Wikipedia
Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… … Deutsch Wikipedia
Komplexitätstheorie — Die Komplexitätstheorie als Teilgebiet der Theoretischen Informatik befasst sich mit der Komplexität von algorithmisch behandelbaren Problemen auf verschiedenen mathematisch definierten formalen Rechnermodellen. Die Komplexität von Algorithmen… … Deutsch Wikipedia
Erfüllbare Aussage — Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von Aussagen und Aussageformen, wahr sein zu können. Anders ausgedrückt ist ein Ausdruck genau dann erfüllbar, wenn es eine Belegung (Interpretation,… … Deutsch Wikipedia
Finanzmarktaufsichtsbehörde — Die Österreichische Finanzmarktaufsichtsbehörde (FMA) nahm am 1. April 2002 als unabhängige Behörde den operativen Betrieb im Rahmen des Finanzmarktaufsichtsbehördengesetz (FMABG) auf. ehemaliger Sitz der Finanzmarktaufsicht in Wien Leopoldstadt… … Deutsch Wikipedia
Pränex-Normalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform … Deutsch Wikipedia
Pränexnormalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform … Deutsch Wikipedia
Verneinungstechnische Normalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform … Deutsch Wikipedia
Klausel-Normalform — Die Klauselform oder Klauselnormalform beschreibt in der Logik eine Formel in konjunktiver Normalform (KNF), bei der die Konjunktionen jeweils in Mengenschreibweise zusammengefasst wurden. Eine Formel in Klauselform (selten auch Klausenform) ist… … Deutsch Wikipedia
